-- Recurso puente
resource puente(Monos_Este:Integer:=0; Monos_Oeste:Integer:=0);

  task body Mono_Este is
      begin

        Region Aseo when Monos_Oeste=0 do
           Monos_Este:=Monos_Este+1;
        end;

       -- Pasa

        delay Duration(Random(G)*15.0);

       -- Sale del puente

        Region Aseo do
           Monos_Este:=Monos_Este-1;
        end;
   end hombre;



  task body Mono_Oeste is
      begin

        Region Aseo when Monos_Este=0 do
           Monos_Oeste:=Monos_Oeste+1;
        end;

       -- Pasa

        delay Duration(Random(G)*15.0);

       -- Sale del puente

        Region Aseo do
           Monos_Oeste:=Monos_Oeste-1;
        end;
   end hombre;

